1. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
2. Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
پدیدآورنده : edited by Michael J. Maher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Computer science.,Data encryption (Computer science),Information systems.,Information theory.,Software engineering.
3. Advances in Computing, Communication, and Control :
پدیدآورنده : edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
4. Advances in computing and data sciences :
پدیدآورنده : Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Computer science.,Internet of things.
رده :
QA75
.
5
5. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
6. Anaphora processing and applications :
پدیدآورنده : Iris Hendrickx [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Anaphora (Linguistics)-- Data processing, Congresses,Computational linguistics, Congresses,Discourse analysis-- Data processing, Congresses,Natural language processing (Computer science), Congresses
رده :
P299
.
A5
D573
2011
7. Applications of Evolutionary Computation :
پدیدآورنده : edited by Anna I. Esparcia-Alcázar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
8. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
9. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
10. Computational intelligence and information technology :
پدیدآورنده : Vinu V Das, Nessy Thankachan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Information technology, Congresses.
رده :
Q342
.
I58
2011
11. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
12. Contributions to Quantitative Linguistics :
پدیدآورنده : edited by Reinhard Köhler, Burghard B. Rieger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computational linguistics.,Linguistics.
رده :
P138
.
E358
1993
13. Culture on the edge of chaos :
پدیدآورنده : Robert G. Reynolds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Evolutionary computation.,Social intelligence.,Application software.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Social intelligence.,Society & social sciences.
رده :
QA76
.
9
.
A43
R49
2018
14. Emerging research in artificial intelligence and computational intelligence :
پدیدآورنده : Hepu Deng [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses
رده :
Q334
.
I58
2011
15. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
16. Fun with Algorithms
پدیدآورنده : edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Computational complexity,Computer Communication Networks,Computer science,Computer software,Data structures (Computer science),Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Communication Networks,Computer Science,Data Structures,Discrete Mathematics in Computer Science
17. ICT Innovations 2018 :
پدیدآورنده : Slobodan Kalajdziski, Nevena Ackovska (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Computer Communication Networks.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information technology.,Life sciences: general issues.,Network hardware.,Telecommunication.
رده :
Q342
18. Intelligent systems :
پدیدآورنده : Vassil Sgurev, Mincho Hadjiski, and Janusz Kacprzyk (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science),Expert systems (Computer science),Ingénierie.
رده :
QA76
.
76
.
E95
I58
2010
19. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5